Foundations of mathematics - PDFSEARCH.IO - Document Search Engine

Foundations of mathematics
Results: 359

#	Item
301	Edward N. Zalta Reflections on Mathematics∗ Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2010-09-07 22:15:50 Logic Ontology Branches of philosophy Abstraction Metalogic Nominalism Mathematical object Foundations of mathematics Mathematical logic Mathematics Philosophy Philosophy of mathematics
302	On the foundations of constructive mathematics — especially in relation to the theory of continuous functions Add to Reading List Source URL: www.fwaaldijk.nl Language: English - Date: 2011-07-29 12:07:36 Logic Epistemology Logic in computer science Bar induction Mathematical induction Constructivism Ordinal number Computability theory Constructible universe Mathematical logic Mathematical constructivism Mathematics
303	International Journal of Foundations of Computer Science Vol. 19, No. i[removed] Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:04 Model theory Predicate logic Mathematical structures Semantics First-order logic Structure Interpretation Monadic predicate calculus Function Logic Mathematical logic Mathematics
304	Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2011-03-26 14:18:16 Model theory Formal languages Predicate logic Logical syntax First-order logic Interpretation Principia Mathematica Well-formed formula Function Logic Mathematics Mathematical logic
305	to be published in: Foundations of Science 4(1), 1999 Advantages and limitations of formal Add to Reading List Source URL: pespmc1.vub.ac.be Language: English - Date: 2014-05-02 12:27:22 Philosophical logic Formal languages Philosophy of language Philosophy of mathematics Semantics Expression Regular expression Meaning Fuzzy logic Logic Mathematics Philosophy
306	Computers, Paradoxes and the Foundations of Mathematics Some great thinkers of the 20th century have shown that even in the austere world of mathematics, incompleteness and randomness are rife Gregory J. Chaitin Add to Reading List Source URL: www.cs.umaine.edu Language: English - Date: 2002-02-07 17:02:09 Mathematical logic Computability theory Philosophy of mathematics Theoretical computer science Formal systems Kurt Gödel Halting problem Kolmogorov complexity Algorithmic information theory Mathematics Logic Science
307	[removed]SHORTER NOTICES. Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 13:00:46 Algebra Mathematical analysis The Principles of Mathematics Louis Couturat Mathematics Foundations of mathematics
308	BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 40, Number 1, Pages 125–129 Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 13:35:49 Mathematical logic Number theorists Philosophers of mathematics Mathematical constructivism David Hilbert Foundations of mathematics Intuitionism Logic Charles Sanders Peirce Mathematics Philosophy Philosophy of mathematics
309	Shafi Goldwasser RSA Professor of Computer Science, Massachusetts Institute of Technology Professor of Computer Science and Applied Mathematics, Weizmann Institute of Science Principal Fields of Interest Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2013-02-28 21:15:47 Formal sciences Shafi Goldwasser Women in technology Verifiable secret sharing Symposium on Foundations of Computer Science International Colloquium on Automata Languages and Programming Symposium on Theory of Computing Gödel Prize Manuel Blum Cryptography Theoretical computer science Applied mathematics
310	Introduction to “18 Unconventional Essays on the Nature of Mathematics” Add to Reading List Source URL: www.math.unm.edu Language: English - Date: 2005-10-17 18:25:12 Raymond Louis Wilder Foundations of mathematics Imre Lakatos Mathematical object Where Mathematics Comes From David Corfield Mathematical practice Jody Azzouni The Unreasonable Effectiveness of Mathematics in the Natural Sciences Mathematics Philosophy of mathematics Mathematical proof

UPDATE